3-Way Software Testing with Budget Constraints : Software Reliability EngineeringMAITY, Soumen.IEICE transactions on information and systems. 2012, Vol 95, Num 9, pp 2227-2231, issn 0916-8532, 5 p.Article

The automatic generation of load test suites and the assessment of the resulting softwareAVRITZER, A; WEYUKER, E. J.IEEE transactions on software engineering. 1995, Vol 21, Num 9, pp 705-716, issn 0098-5589Article

A Survey of Combinatorial TestingCHANGHAI NIE; LEUNG, Hareton.ACM computing surveys. 2011, Vol 43, Num 2, issn 0360-0300, 11.1-11.29Article

Specification-based test generation with TGVCALAME, Jens R.Report - Software engineering. 2005, Num 08, pp 1-30, issn 1386-369X, 30 p.Article

Mutation testing in the refinement calculusAICHERNIG, Bernhard K.Formal aspects of computing. 2003, Vol 15, Num 2-3, pp 280-295, issn 0934-5043, 16 p.Conference Paper

Synthesis of System State ModelsSARMA, M; MALL, R.ACM SIGPLAN notices. 2007, Vol 42, Num 11, pp 5-14, issn 1523-2867, 10 p.Article

Combining test case generation and runtime verificationARTHO, Cyrille; BARRINGER, Howard; WASHINGTON, Rich et al.Theoretical computer science. 2005, Vol 336, Num 2-3, pp 209-234, issn 0304-3975, 26 p.Article

Test-case generator for nonlinear continuous parameter optimization techniquesMICHALEWICZ, Zbigniew SR; DEB, Kalyanmoy; SCHMIDT, Martin et al.IEEE transactions on evolutionary computation. 2000, Vol 4, Num 3, pp 197-215, issn 1089-778XArticle

Automatic generation of path conditions for concurrent timed systemsBENSALEM, Saddek; PELED, Doron; HONGYANG QU et al.Theoretical computer science. 2008, Vol 404, Num 3, pp 275-292, issn 0304-3975, 18 p.Conference Paper